#include "base/aig.h"

extern int read_verilog( StrashAIG & ckt , const char * top, int num , const char * files [] );

int main( unsigned argc , const char ** argv )
{
   StrashAIG aig;
   read_verilog( aig , "TOP" , argc - 1 , argv +1 );
}
